Specifying Behavior in C++
نویسندگان
چکیده
Most robot programming takes place in the “time domain.” That is, the goal is to specify the behavior of a system that is acquiring a continual temporal stream of inputs, and is required to provide a continual, temporal stream of outputs. We present a reactive programming language, based on the Functional Reactive Programming paradigm, for specifying such behavior. The major attributes of this language are: 1) it provides for both synchronous and asynchronous definitions of behavior, 2) specification is equational in nature, 3) it is type safe, and 4) it is embedded in C++. In particular the latter makes it simple to “lift” existing C++ libraries into the language.
منابع مشابه
Specifying and Verifying Systems with Multiple Clocks
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling the possible behaviors. We can then verify a hardware design assuming that the clocks meet these constraints. We implement our ideas in the context of SAT based Bounded Model Checking (BMC), using ANSI–C programs to specif...
متن کاملارزیابی اهمیت رفتارهای ارگونومیک در یک شرکت پتروشیمی
Background: This study aimed to evaluate ergonomic behaviors and to determine the importance of each ergonomic behavior in an Iranian petrochemical company. This study was conducted in Khuzestan petrochemical company, which is located in the south of Iran, in 2010. Methods: The methodology was based on the Ergonomic Behavior Sampling (EBS), and by entropy. After specifying the non-ergonomic b...
متن کاملTechnical Report: Defining the Undefinedness of C
This paper investigates undefined behavior in C and offers a few simple techniques for operationally specifying such behavior formally. A semantics-based undefinedness checker for C is developed using these techniques, as well as a test suite of undefined programs. The tool is evaluated against other popular analysis tools, using the new test suite in addition to a third-party test suite. The s...
متن کاملEffect of Hydrochloric Acid on Leaching Behavior of Calcareous Phosphorites
The bulk of the world's phosphate reserves is located in sedimentary horizons that contain appreciable amounts of carbonate. During beneficiation of phosphate rocks, huge amounts of oversize phosphate rocks are rejected from crushers. This reject also mostly contains low tricalcium phosphate and high carbonate content. In this study, experiments have been carried out to reduce/eliminate car...
متن کاملSpecifying Adaptations through a DSL with an Application to Mobile Robot Navigation
Developing applications for resource-constrained embedded systems is a challenging task specially when applications must adapt to changes in their operating conditions or environment. To ensure an appropriate response at all times, it is highly desirable to develop applications that can dynamically adapt their behavior at run-time. In this paper we introduce an architecture that allows the spec...
متن کامل